Cancer hybrid automata: Model, beliefs and therapy
نویسندگان
چکیده
منابع مشابه
Towards Cancer Hybrid Automata
This paper introduces Cancer Hybrid Automata (CHAs), a formalism to model the progression of cancers through discrete phenotypes. The classification of cancer progression using discrete states like stages and hallmarks has become common in the biology literature, but primarily as an organizing principle, and not as an executable formalism. The precise computational model developed here aims to ...
متن کاملCancer Hallmark Automata (I): Model, Therapy and Complexity
This paper introduces Cancer Hallmark Automata, a formalism to model the progression of cancers through discrete phenotypes (so-called hallmarks). The classification of various cancers using stages and hallmarks has become common in the biology literature, but primarily as an organizing principle, and not as an executable formalism. The precise computational model developed here aims to exploit...
متن کاملA CSP Model for Hybrid Automata
This contribution aims to combine hybrid automata with CSP establishing a connection between the elements of hybrid automata and CSP processes using an approach for the decomposition of hybrid systems. As a result we obtain a transformation from hybrid automata into CSP processes, written in Hoare-CSP in the untimed parts and in real-time CSP or HCSP in the timed parts. These processes provide ...
متن کاملHybrid Model Based on Artificial Immune System and Cellular Automata
The hybridization of artificial immune system with cellular automata (CA-AIS) is a novel method. In this hybrid model, the cellular automaton within each cell deploys the artificial immune system algorithm under optimization context in order to increase its fitness by using its neighbor’s efforts. The hybrid model CA-AIS is introduced to fix the standard artificial immune system’s weaknesses. T...
متن کاملHybrid cc, Hybrid Automata and Program Verification
Synchronous programming. Discrete event driven systems [HP85,Ber89,Hal93] are systems that react with their environment at a rate controlled by the environment. Such systems can be quite complex, so for modular development and re-use considerations, a model of a composite system should be built up from models of the components compositionally. From a programming language standpoint, this modula...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2014
ISSN: 0890-5401
DOI: 10.1016/j.ic.2014.01.013